constructible universe造句

例句与造句

1. Nevertheless, the constructible universe contains all the ordinal numbers that the original model of set theory contains.
2. The elements of L are called " constructible " sets; and L itself is the " constructible universe ".
3. Some statements independent of ZFC can be proven to hold in particular inner models, such as in the constructible universe.
4. Silver made several contributions to set theory in the areas of large cardinals and the constructible universe " L ".
5. Existence of zero sharp implies that the constructible universe satisfies " for every countable ordinal, there is an-ErdQ
   s cardinal ".
6. It's difficult to find constructible universe in a sentence. 用constructible universe造句挺难的
7. Totally indescribable cardinals remain totally indescribable in the constructible universe and in other canonical inner models, and similarly for ? and ? indescribability.
8. For example, if 0 # exists then there is an elementary embedding from the constructible universe " L " into itself.
9. Beyond, the process can be continued through the countable ordinals of the constructible universe, using set-theoretic methods ( Hodes 1980 ).
10. There are certain large cardinals that cannot exist in the constructible universe ( " L " ) of any model of set theory.
11. In 1939, G鰀el pointed out that L ? ?, a subset of the constructible universe, is a model of ZFC with replacement replaced by separation.
12. In that work he introduced the constructible universe, a model of set theory in which the only sets that exist are those that can be constructed from simpler sets.
13. In 1938, G鰀el proposes the constructible universe in the paper " " The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis " ".
14. Hamkins proved that any two countable models of set theory are comparable by embeddability, and in particular that every countable model of set theory embeds into its own constructible universe.
15. It follows from Jensen's covering theorem that the existence of 0 # is equivalent to ? ? being a regular cardinal in the constructible universe " L ".
16. For example, take " M " to be the ( Mostowski collapse of the ) Skolem hull of the empty set inside L ( G鰀el's constructible universe ).
更多例句：  下一页